Search Results
Evgenii Kuznetcov – Introduction to Coq theorem prover (Berlin Software Verification Meetup #2)
coq theorem prover and geo coq or any library installer
01 Introduction
CPP'2021 - Short presentation: Extracting Smart Contracts Tested and Verified in Coq
WiCS x CSC: Alt-Tab: Using the COQ proof assistant
Micaela Mayero - Overview of real numbers in theorem provers: application with real analysis in Coq
Sudoku Coq Demo
Topology in Coq
Lecture-8b: Formal verification using Coq-theorems using function listnat equality, list equivalence
A Coq proof of the correctness of X25519 in TweetNaCl
Introduction to the Coq Proof Assistant - Andrew Appel
Lecture-4a-formal verification using Coq-induction tactic, theorem over mult, leqb
